SäferTEX: Source Code Esthetics for Automated Typesetting

( * ) I n t r o d u c t i o n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i n t r o . s t ( * * ) S e n s e a n d N o n s e n s e o f E x a m p l e s . . . . . . . . . . n o n s e n s e . s t ( * * ) E x p l a n a t i o n s w / o e x a m p l e s . . . . . . . . . . . . . . . e x p l a n a t i o n . s t ( * ) E x a m p l e s i n D a i l y P r a c t i s . . . . . . . . . . . . . . . . d a i l y . s t ( * ) b l a b l a b l a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . b l a h . s t d o cu m en t co d e fi le s to ke n st re am pa rs e tr ee co d e g en er at o r le xi ca l an al ys is p ar si n g T yp es et ti n g E n g in e C o re Ş äf er T E X L A T E X Fr an kR en é S ch äf er Ş äf er T E X In tr od uc tio n Le xi ca lA na ly si s P ar si ng S um m ar y D em on st ra tio n T he Ş äf er T E X E ng in e A ch ie ve m en ts (B ri ef ) O ut lin e 1 In tr od uc tio n O pt im iz ed C od e A pp ea ra nc e P ar ad ig m s of Ş äf er T E X 2 Le xi ca lA na ly si s P ro ce ss in g T he C ou nt ry H ut S ol ut io n 3 P ar si ng T he Ş äf er T E X E ng in e A ch ie ve m en ts (B rie f) 4 S um m ar y Fr an kR en é S ch äf er Ş äf er T E X In tr od uc tio n Le xi ca lA na ly si s P ar si ng S um m ar y D em on st ra tio n T he Ş äf er T E X E ng in e A ch ie ve m en ts (B ri ef ) P ar si ng P ro bl em s 1 P ro lif er at io n of ru le s 2 C on fu si on by P re ce nd en ce ru le s 3 M al fo rm at io n of pa rs e tr ee s S ol ut io ns 1 Im pr ov em en ts to pa rs er ge ne ra to r (> ’L em on + + ’a nd ’q ua kk ’) 1 G ra m m ar cl ar ity by se pa ra tio n of ru le s an d ru le ac tio n 2 S tr ea m in g ab ili ty of op er at io na lc la ss es 3 A ut om at ic C + + co de ge ne ra tio n fo r no nte rm in al to ke ns 2 A vo id an ce of P re ce nd en ce 3 A ut om at ic al X M L co de ge ne ra tio n fo r pa rs e tr ee Fr an kR en é S ch äf er Ş äf er T E X In tr od uc tio n Le xi ca lA na ly si s P ar si ng S um m ar y D em on st ra tio n S um m ar y D ev el op m en to ft oo ls fo r le xi ca la na ly si s: Q ue x (O bj ec to rie nt ed pa tte rn re co gn iti on ) D ev el op m en to ft oo ls fo r pa rs er ge ne ra tio n: Le m on + + an d Q ua kk . (C la rit y of co de an d E as e of pr og ra m m in g) S ta bl e pl at fo rm fo r th e ’3 P ar ad ig m s of Ş äf er T E X ’ A ut om at ic S co pe /G ro up D et ec tio n In de nt at io n as S co pe D el im ite r In tu iti ve Tr ea tm en to fC ha ra ct er s F irs to ffi ci al re le as e of Ş äf er T E X 0. 0. 0 at so ur ce fo rg e. ne t Fr an kR en é S ch äf er Ş äf er T E X Proceedings EuroTEX2005 – Pont-à-Mousson, France WET04 ŞäferTEX: Source Code Esthetics for Automated Typesetters Frank-René Schäfer 91